<?php
class User extends GlobalObject {
		
}